∀A,B∈2^X(A̅∪̅B̅=A̅∪B̅)